 [4-21]Efficient Query Answering over Ontologies
|
2008-04-14 |
| [3-28]Formal Model Driven Design
|
2008-03-24 |
| [3-28]Tool supported real-time system verification
|
2008-03-24 |
| [2-26]Verifiers are Programs
|
2008-02-25 |
| [1-28]Verifying Digital Circuits using Continu...
|
2008-01-27 |
| [1-4]Eiffel: Programs that test themselves
|
2008-01-02 |
| [12-11]Seminar on verification in type theory
|
2007-12-27 |
| [12-10]Testing Concurrent Java Components
|
2007-12-27 |
| [12-10]Programming with Transactional Memory
|
2007-12-27 |
| [11-2]Computational self-assembly
|
2007-12-27 |
| [10-29]Seminar on A Pointer Logic for ...
|
2007-12-27 |
