"Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, ..."

Eerke A. Boiten, John Derrick, Gerhard Schellhorn (2008)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-17