A Synthesized Algorithm for Interactive Consistency

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-06200-6_23 ◽

2014 ◽

pp. 270-284 ◽

Cited By ~ 5

Author(s):

Adrià Gascón ◽

Ashish Tiwari

Download Full-text