Engineering Dependable Software Systems - M. Broy-D. Peled-G. Kalus (IOS Press, 2013)
Keywords: General; Software Development & Engineering; Computer software--Verification--Congresses.,Computer systems--Verification--Congresses.; COMPUTERS