Integration of verification methods for program systems
From MaRDI portal
Publication:1040327
DOI10.1134/S0361768809040057zbMath1183.68378MaRDI QIDQ1040327
Publication date: 24 November 2009
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software