1.
Record Nr.
UNINA9910140050503321
Titolo
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods : 10-14 November 2008
Pubbl/distr/stampa
New York : , : IEEE, , 2008
ISBN
1-5090-7379-5
Descrizione fisica
1 online resource (394 pages)
Soggetti
Software engineering
Formal methods (Computer science)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia