Direkt zum Inhalt
2651443-6
ACM SIGSOFT Workshop on Formal Methods in Software Practice : Proceedings of the ... workshop on Formal methods in software practice
Association for Computing Machinery. Special Interest Group on Software Engineering
New York, NY : ACM
2.1998 - 3.2000 nachgewiesen
Nebent.: FMSP, ACM SIGSOFT Workshop on Formal Methods in Software Practice
Online-Ressource
OCLC-Nr.: 1368822478
https://dl.acm.org/conference/fmsp/proce... [Verlag]
https://ezb.ur.de/?2651443-6 [EZB]
DDC-Sachgruppen der ZDB: 004 Informatik
Weitere Klassifikation(en): Regensburger Verbundklassifikation (rvk): AD 70500
Zeitschrift
Englisch
Vereinigte Staaten, USA, United States
Online-Ausgabe
vierteljährlich
1297870352
09-07-25