[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Semi-formal test generation and resolving a temporal abstraction problem ..."

Julia Dushina, Mike Benjamin, Daniel Geist (2003)

Details and statistics

DOI: 10.1145/1119772.1119929

access: closed

type: Conference or Workshop Paper

metadata version: 2018-11-06