Michael E. Jørgensen

	1997
2		Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach: Automatic Verification of Pointer Programs using Monadic Second-Order Logic. PLDI 1997: 226-236
	1995
1		Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm: Mona: Monadic Second-Order Logic in Practice. TACAS 1995: 89-110

Coauthor Index

1	Jesper G. Henriksen	[1]
2	Jakob L. Jensen	[1] [2]
3	Nils Klarlund	[1] [2]
4	Robert Paige	[1]
5	Theis Rauhe	[1]
6	Anders Sandholm	[1]
7	Michael I. Schwartzbach	[2]