Fabian Fritz

	2009
1		Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge: Automated Property Verification for Large Scale B Models. FM 2009: 708-723

Coauthor Index

1	Jérôme Falampin	[1]
2	Michael Leuschel	[1]
3	Daniel Plagge	[1]