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