Nothing Special   »   [go: up one dir, main page]

"Proceedings of the 2007 Conference Specification and Verification of ..."

Arnd Poetzsch-Heffter (2007)

Details and statistics

DOI: 10.1145/1292316

access: closed

type: Editorship

metadata version: 2022-02-01