Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

SFX

Hae kokoteksti

E-kirja

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering ; Association for Computing Machinery-Digital Library

IEEE 2016

Näytä muut versiot (84)

Tallennettuna:

Kieli

englanti

Julkaisija

New York NY IEEE, 2016

ISBN

1-4503-4159-4
1-5090-2202-3

Saatavuustiedot

Muut versiot (84)

Henkilökuntanäyttö