Paulo Borba
Home
Projects
Publications
Posts
Courses
Talks
Students
Contact
Márcio Cornélio
Latest
JML and Aspects: The benefits of instrumenting JML features with AspectJ
Algebraic reasoning for object-oriented programming
A refinement algebra for object-oriented programming
Structuring Mechanisms for an Object-Oriented Formal Specification Language
Design of an Object-Oriented Formal Specification Language
Cite
×