Requirements and Concepts for Transaction Level Assertions.

Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten

Browse the full ICCD paper archive.