[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Java Applet Correctness: A Developer-Oriented Approach
Araki, Keijiro, Gnesi, Stefania, Mandrioli, DinoVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-45236-2_24
File:
PDF, 520 KB
english, 2003