|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
Tiziana Margaria | |
---|---|
Personal Home Page Type-Hierarchical Overview | |
Chronological Overview |
2016 | |
Giannini, Lamprecht and Margaria | "Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)