Abstract interpretation and logic programming : in honor of professor Giorgio Levi

Veröffentlicht 2009

Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers

Veröffentlicht 2015

SOS Rules for Equivalences of Reaction Systems

von Brodo, Linda
Veröffentlicht in WFLP (28. : 2020 : Online) Functional and constraint logic programming (2021)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems

von Brodo, Linda
Veröffentlicht in TPNC (10. : 2021 : Tsukuba) Theory and Practice of Natural Computing (2021)

Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; specia...

Veröffentlicht 2007