[go: up one dir, main page]

"Proceedings of the Ninth International Workshop on Formal Methods for ..."

Juan Bicarregui, Andrew Butterfield, Alvaro Arenas (2005)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2022-12-06