"4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, ..."

David Sinclair, J. Paul Gibson (2000)

Details and statistics

DOI:

access: unavailable

type: Editorship

metadata version: 2004-03-25