Maarten Boote

	2007
1		Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote: A software framework for automated verification. SAC 2007: 1031-1032

Coauthor Index

1	Marija Petkovic	[1]
2	Ivo Raedts	[1]
3	Alexander Serebrenik	[1]
4	Lou J. Somers	[1]
5	Jan Martijn E. M. van der Werf	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page