ℹ️
🇬🇧
Search
Search for people relevant for "abstract model"
abstract model
Person
Class
Person
Publication
Programmes
Elvinia Riccobene Ph.D.
Person without affiliation with CUNI
1 publication
Publication
publication
SMT-based automatic proof of ASM model refinement
2016 |
Faculty of Mathematics and Physics
Loading network view...
