scientific article
From MaRDI portal
Publication:3742692
zbMath0605.68004MaRDI QIDQ3742692
Sriram Sankar, David C. Luckham, David Samuel Rosenblum
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Annamachine-processable annotations of Ada programsParallel checkingtesting and debugging of software
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Uses Software
This page was built for publication:
