Recent trends in computer-aided verification

Research output: Contribution to specialist publicationArticleResearch

Original languageEnglish
Pages1-2
Volume5
Specialist publicationCoLogNET Newsletter
Publication statusPublished - 2003

Treatment code (Nähere Zuordnung)

  • Application

Cite this