Artikel in einem Konferenzbericht,

Experience with Four Automated Verification Systems.

.
PSTV, Seite 373-379. North-Holland, (1982)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen