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