Skip to content

Formal Methods in the Era of Service-Oriented Design.

Tiziana Margaria

Year2011
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.