Raymond Boute

	2009
3		Raymond Boute: Making Temporal Logic Calculational: A Tool for Unification and Discovery. FM 2009: 387-402
2		Paul Boca, Raymond Boute, David Duce, José Oliveira: Editorial. Formal Asp. Comput. 21(3): 225 (2009)
	2008
1		Raymond Boute: Simple Gedanken Experiments in Leveraging Applications of Formal Methods. ISoLA 2008: 847-861

Coauthor Index

1	Paul Boca	[2]
2	David Duce	[2]
3	José Oliveira	[2]