Software Engineering and Formal Methods
9th International Conference, Proceedings
Gespeichert in:
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: