Formal methods for industrial critical systems: 13th international workshop ; revised selected pa… by FMICS, L'Aquila fromLecture Notes in Computer Science 0 Type: Book
Automated reasoning: 5th international joint conference ; proceedings by IJCAR, Edinburgh) fromLecture Notes in Computer Science 0 Type: Book
Model checking and artificial intelligence: 5th international workshop ; revised selected and… by MoChArt, Patras) fromLecture Notes in Computer Science 0 Type: Book
Automated technology for verification and analysis: 7th international symposium ; proceedings by Liu, Zhiming, ATVA, Macau fromLecture Notes in Computer Science 0 Type: Book
Automated technology for verification and analysis: 7th international symposium ; proceedings by ATVA, Macau fromLecture Notes in Computer Science 0 Type: Book
Automated deduction: proceedings by CADE, Montréal fromLecture Notes in Computer Science 0 Type: Book
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by Bertot, Yves, Castéran, Pierre fromTexts in theoretical computer science : an EATCS series 0 Type: Book
