Combination of Isabelle/HOL with Automatic Tools

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/11559306_18 ◽

2005 ◽

pp. 302-309 ◽

Cited By ~ 5

Author(s):

Sergey Tverdyshev

Download Full-text