Some publications by Steffen van Bakel

Back

Miscellaneous
  1. Steffen van Bakel. Notes for Assured Software: Semantics Course Information, January 2003. [WWW ]



This document was translated from BibTEX by bibtex2html