Search results for: Sławomir Lasota
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Specification and automatic proof-assistants > 54-69
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Specification and automatic proof-assistants > 54-69