Some publications by Michaël Brung

Back

Internal reports
  1. Michaël Brung. A Two-Steps Verifier: Reducing the Impact of Java Verification on Embedded Devices. Industrial project report, École des Mines de Nantes, Object Technology International, July 2000.


This document was translated from BibTEX by bibtex2html