Inproceedings,

Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context.

, and .
BM-FA (Revised Selected Papers), volume 6368 of Lecture Notes in Computer Science, page 197-219. Springer, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews