Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Bewaard in:
Bibliografische gegevens
Coauteurs: International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service)
Andere auteurs: Liu, Zhiming, He, Jifeng
Formaat: Conferentie akten E-boek
Taal:English
Reeks:Lecture Notes in Computer Science, 4260
Onderwerpen:
Online toegang:Click here to view the full text content
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!