![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 (International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings) || Adaptable Translator of B Specifications to Embedded C Programs
Araki, Keijiro, Gnesi, Stefania, Mandrioli, DinoVolume:
10.1007/b1
Year:
2003
DOI:
10.1007/978-3-540-45236-2_7
File:
PDF, 243 KB
2003