Location & Availability for: Computer-aided verification : proceeding

 Staff view

You must be logged in to Tag Records

Computer-aided verification : proceedings /

International Conference, CAV.

Book Cover
Published: Berlin ; Springer-Verlag,
Series: Lecture notes in computer science
Topics: Computer software - Verification - Congresses. | Electronic digital computers - Evaluation - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.

Loading Holdings Data ... Loading

Location & Availability for: Computer-aided verification : proceeding