1 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
|
|