Extracting frame conditions from operation contracts

Knoop, JensZdun, Uwe2017-06-212017-06-212016978-3-88579-646-6enExtracting frame conditions from operation contractsText/Conference Paper1617-5468