Recent reports and Xarchiv deposited articles
- On Indexed and Fibred Structures for Hoare Logic by U. E. Wolter, E. H. H\"{a}usler and A. R. Martini
Technical Talk
- On the Topos of Transition Systems (CASYS'2001, Liége, 2001)
TecMF: EdwardHermann/Talks (last edited 2019-04-18 17:39:53 by EdwardHermann)