 | Adam Koprowski | | personal homepage |
| | |
| Current |  |
| (Pre)history | |
- "Coq and rewriting", a series of 3 lectures/lab sessions given
during the advanced track of the 5th International School on Rewriting (ISR '10) in Utrecht, Netherlands
- Proving with computer assistance 07/08
- Proving with computer assistance 06/07
- Java AB 06/07
- Proving with computer assistance 05/06
- Java AB 05/06
|
|
|
|
|
|
|
|
