ACM SIGSOFT Workshop on Formal Methods in Software Practice

Allgemeine Angaben zur Online-Ausgabe der Zeitschrift:

Titel:

ACM SIGSOFT Workshop on Formal Methods in Software Practice

Verlag / Anbieter:

Association for Computing Machinery (ACM)
Open Access Policy des Verlages in SHERPA/RoMEO suchen

Fachgebiet(e):

Informatik

Schlagwörter:

Softwareentwicklung | Konferenzschrift

Sprache(n):

Englisch

ZDB-Nummer:

2651443-6

erste Volltextausgabe:

(1998)

letzte Volltextausgabe:

(2000)

Homepage(s):

https://dl.acm.org/event.cfm?id=RE311

Erscheinungsweise:

Volltext, Online und Druckausgabe

Kosten für Lesezugang:

kostenpflichtig

Zugangsbedingungen:

Subskription mit Authentifizierungsmechanismen

Bemerkung:

Proceedings of the ... workshop on Formal methods in software practice