Media type: E-Article Title: Deductive verification of telecommunication systems written in C Contributor: Anureev, I. S. Published: Allerton Press, 2013 Published in: Automatic Control and Computer Sciences, 47 (2013) 7, Seite 413-419 Language: English DOI: 10.3103/s0146411613070183 ISSN: 0146-4116; 1558-108X Keywords: Signal Processing ; Control and Systems Engineering ; Software Origination: Footnote: