Authenticus:P-00J-ZR6 | CMUP

A Typed Language for Events

Logic-based Program Synthesis and Transformation (lopstr 2015) | 2015 | inproceedings

Publication

Year of publication: 2015

Volume : 9527

Pages : 107-123

Month :

CMUP publication : Yes

Authors

M Fernandez

S Alves