Provably correct systems |
| | Type | Lecture note | | Journal/Book/Conference | Tutorial material for the 1994 Formal Techniques in Real-Time and Fault-Tolerant Systems conference (FTRTFT 94) | | Year | 1994 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|