Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Jobs/M2 2017 MC Spot demo + (This internship targets students who: * ha … This internship targets students who:</br>* have some experience in Web development and/or C++ and/or Python (conjunction is favored over disjunction) </br>* would like to get familiar with the amazing world of model-checking</br>* would like to popularize model-checking and formal methodspularize model-checking and formal methods)