Florent Kirchner

	2007
3		Florent Kirchner, François-Régis Sinot: Rule-Based Operational Semantics for an Imperative Language. Electr. Notes Theor. Comput. Sci. 174(1): 35-47 (2007)
2		Florent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)
	2006
1		Florent Kirchner: A Finite First-Order Theory of Classes. TYPES 2006: 188-202

Coauthor Index

1	César Muñoz	[2]
2	François-Régis Sinot	[3]

Colors in the list of coauthors