- Tytuł:
- Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
- Autorzy:
- Temat:
-
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95 - Źródło:
- Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 38-52 (2017)
- Opis pliku:
- electronic resource
- Relacje:
- http://arxiv.org/pdf/1701.08467v1; https://doaj.org/toc/2075-2180
- Dostęp URL:
- https://doaj.org/article/dfde17c83fce46048bda81e105dd2fc8  Link otwiera się w nowym oknie
Czasopismo naukowe