| description | 1516-S1 - NWI-I00110: Testing Techniques |
| last change | Tue, 26 Jan 2016 13:44:48 +0000 (14:44 +0100) |
| URL | https://git.martlubbers.net/tt1516.git |
| 2016-01-26 | Mart Lubbers | update master | commit | commitdiff | tree | snapshot |
| 2016-01-26 | Mart Lubbers | added part about automata learinng | commit | commitdiff | tree | snapshot |
| 2016-01-21 | Mart Lubbers | mbt done' | commit | commitdiff | tree | snapshot |
| 2016-01-21 | Mart Lubbers | mbt slides1 done | commit | commitdiff | tree | snapshot |
| 2016-01-20 | Mart Lubbers | update | commit | commitdiff | tree | snapshot |
| 2015-11-30 | Mart Lubbers | added proof bit | commit | commitdiff | tree | snapshot |
| 2015-11-30 | Mart Lubbers | initial commit, started with the exercises | commit | commitdiff | tree | snapshot |
| 9 years ago | master | shortlog | log | tree |