Publication Overview

German Shegalov and Gerhard Weikum

Formal Verification of a Transactional Interaction Contract

Published in: SERVICES I
Year: 2008
Pages: 87-90