1 |
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
|
|
|
|