Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering

Titel:

Beteiligt:

Körperschaft:

Veröffentlicht:

Piscataway, NJ : IEEE Press, 2015

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (85 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

Zusatz-Informationen