FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999; proceedings / Jeannette M. Wing ... (ed.)
Contributor(s): Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Lecture notes in computer science ; ...Volumes: Show volumesPublisher: Berlin ; Heidelberg [u.a.] : Springer, 19XX-Subject(s): Genre/Form: RVK: RVK: SS 4800PPN: PPN: 1150591145No physical items for this record