Software Engineering and Formal Methods

9th International Conference, Proceedings

Verfasser / Beitragende:
SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; Gilles Barthe ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2011
Beschreibung:
Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 192895982

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden