Automated Technology for Verification and Analysis

DOI10.1007/B102065zbMath1108.68494OpenAlexW3139984071MaRDI QIDQ5394206

Wen-Kui Chang, Chun-Yuan Chen

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102065

zbMATH Keywords

CMMIISO 9001:2000Software Capability LevelSoftware Integrity LevelSoftware Process Improvement (SPI)Software Verification and Validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: Automated Technology for Verification and Analysis