[go: up one dir, main page]

"Formal verification of synchronous data-flow program transformations ..."

Van Chan Ngo et al. (2013)

Details and statistics

DOI: 10.1007/S11704-013-3910-8

access: closed

type: Journal Article

metadata version: 2023-10-22