Rosemary Monahan

	2009
3		K. Rustan M. Leino, Rosemary Monahan: Reasoning about comprehensions with first-order SMT solvers. SAC 2009: 615-622
	2005
2		Gareth Carter, Rosemary Monahan, Joseph M. Morris: Software Refinement with Perfect Developer. SEFM 2005: 363-373
	1997
1		Rosemary Monahan, Franz Geiselbrechtinger: Tactics for Transformational Programming. IWFM 1997

Coauthor Index

1	Gareth Carter	[2]
2	Franz Geiselbrechtinger	[1]
3	K. Rustan M. Leino	[3]
4	Joseph M. Morris	[2]

Colors in the list of coauthors