Artikel in einem Konferenzbericht,

Visualization of Analysis Results in the ProC/B Toolset.

, , , und .
QEST, Seite 318-319. IEEE Computer Society, (2004)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen