FormaliSE 2017 : 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering : proceedings : 27 May 2017, Buenos Aires, Argentina.

Gespeichert in:
Weitere Titel:
FormaliSE '17
Körperschaft:
FME Workshop on Formal Methods in Software Engineering Buenos Aires, Argentina
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Piscataway, New Jersey : IEEE Press, 2017.
Umfang:
1 online resource (94 pages)
Anmerkungen:
Includes index.
ISBN:
1-5386-0422-1
Schlagworte:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Bezugswerke:
Links: