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

"Proceedings 17th International Workshop on Refinement, Refine@FM 2015, ..."

John Derrick, Eerke A. Boiten, Steve Reeves (2016)

Details and statistics

DOI: 10.4204/EPTCS.209

access: open

type: Editorship

metadata version: 2021-07-25