Amy Felty

	Use attributes for filter !
Affiliations	University Of Ottawa
Citations	2,127
H index	24
Interests	Logical Foundations Of Computer Science
	Formal Methods
	Theorem Proving
	Logical Frameworks
Date of Reg.	2020-02-16 07:48:11
Date of Upd.	2021-11-12 04:59:15
ID	2522646

About Amy Felty