An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL).

Tobias Strauch

Browse the full DSD paper archive.