ACM SIGSOFT Workshop on Formal Methods in Software Practice
Verfügbarkeit: | nicht zugänglich. Inhaltsverzeichnisse und Abstracts sind jedoch meistens frei. |
---|---|
Homepage(s): | |
Volltext online seit: | (1998) |
Volltext online bis: | (2000) |
Verlag: | Association for Computing Machinery (ACM) |
ZDB Nummer: | 2651443-6 |
Fachgruppe(n): | |
Form: | Volltext, Online und Druckausgabe |
Kosten: | kostenpflichtig |
Bemerkung: | Proceedings of the ... workshop on Formal methods in software practice |
Liste der teilnehmenden Institutionen, die Volltextzugriff bieten. |