Experiences in Using the Abstract Machine Notation in a GKS Case Study.

Brian Ritchie, Juan Bicarregui, Howard P. Haughton

Browse the full FM paper archive.