Finding Inconsistencies in Programs with Loops

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48899-7_35 ◽

2015 ◽

pp. 499-514 ◽

Cited By ~ 1

Author(s):

Temesghen Kahsai ◽

Jorge A. Navas ◽

Dejan Jovanović ◽

Martin Schäf

Download Full-text