ACM SIGSOFT Workshop on Formal Methods in Software Practice
| Verfügbarkeit: | nicht zugänglich |
|---|---|
| Homepage(s): | |
| Volltext online seit: | (1998) |
| Volltext online bis: | (2000) |
| Verlag: | Association for Computing Machinery (ACM) |
| ZDB Nummer: | 2651443-6 |
| Fachgruppe(n): | |
| Schlagwort(e): | Softwareentwicklung,Konferenzschrift |
| 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. |
