Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Automated validation & verific...
Email Record
Email Record:
Automated validation & verification of UML/OCL models using satisfiability solvers /
To:
From:
Message:
×
Loading...