FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings
Finna-arvio
FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings
Tallennettuna:
Genre | |
---|---|
Kieli |
englanti |
Huomautukset |
Co-located with ICSE. |
Julkaisija |
Piscataway, NJ :
Institute of Electrical and Electronics Engineers
|
Luokitus | |
Dewey-luokitus |
005 |
Aiheet | |
Julkaistu |
Began with 1st (2013) |
ISSN |
2575-5099 |
Hae kokoteksti |