Deductive verification of telecommunication systems written in C
Anureev, I. S.Volume:
47
Language:
english
Journal:
Automatic Control and Computer Sciences
DOI:
10.3103/S0146411613070183
Date:
December, 2013
File:
PDF, 113 KB
english, 2013