Jean-Pierre Jouannaud
AuthID: R-00G-DEY
1
TITLE: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
AUTHORS: Jean Pierre Jouannaud; Zhong Shao;
PUBLISHED: 2011, SOURCE: CPP, VOLUME: 7086
AUTHORS: Jean Pierre Jouannaud; Zhong Shao;
PUBLISHED: 2011, SOURCE: CPP, VOLUME: 7086
INDEXED IN: 
DBLP
DBLP2
TITLE: Certified Programs and Proofs
AUTHORS: Jean-Pierre Jouannaud; Zhong Shao;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jean-Pierre Jouannaud; Zhong Shao;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef3
TITLE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
AUTHORS: Kokichi Futatsugi; Jean Pierre Jouannaud; José Meseguer;
PUBLISHED: 2006, SOURCE: Essays Dedicated to Joseph A. Goguen, VOLUME: 4060
AUTHORS: Kokichi Futatsugi; Jean Pierre Jouannaud; José Meseguer;
PUBLISHED: 2006, SOURCE: Essays Dedicated to Joseph A. Goguen, VOLUME: 4060
INDEXED IN: DBLP
DBLP