Publications

@inproceedings{mazo2010pessoabb,

title = {PESSOA: towards the automatic synthesis of correct-by-design control software},

author = {Manuel {Mazo Jr.} and Anna Davitian and Paulo Tabuada},

year  = {2010},

date = {2010-01-01},

booktitle = {Work-in-Progress HSCC 2010},

journal = {Work-in-progress HSCC},

keywords = {Formal methods},

pubstate = {published},

tppubtype = {inproceedings}

}