Proceedings of the 7th workshop on Programming languages meets program verification

Weitere Titel:

PLPV '13

1. Verfasser:

Giacobazzi, Roberto

Format:

Elektronisch E-Book

Sprache:

Englisch

Veröffentlicht:

New York, NY ACM 2013

Umfang:

1 online resource (80 pages)

Schriftenreihe:

ACM Digital Library

ISBN:

9781450318600

Schlagworte:

Computer science

Software

Theory of Computation

Konferenzschrift

Links:

Wird geladen...