SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors

Massimo Tivoli, Marco Autili. SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L OBJET, 12(1):77-103, 2006. [doi]

Abstract

Abstract is missing.