Recent trends in computer-aided verification

Publikation: Beitrag in Zeitung/MagazinArtikel

Originalspracheenglisch
Seiten1-2
Band5
FachbuchCoLogNET Newsletter
PublikationsstatusVeröffentlicht - 2003

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren