Specification Language for Transaction Level Assertions.

Wolfgang Ecker Volkan Esen Thomas Steininger Michael Velten Michael Hull Specification Language for Transaction Level Assertions. 77-84 2006 HLDVT https://doi.org/10.1109/HLDVT.2006.319967 https://doi.ieeecomputersociety.org/10.1109/HLDVT.2006.319967 conf/hldvt/2006 db/conf/hldvt/hldvt2006.html#EckerESVH06