Program Schemata Technique to Solve Propositional Program Logics Revised

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-41579-6_19 ◽

2016 ◽

pp. 245-259

Author(s):

Nikolay Shilov

Download Full-text