Ken G. Pierce
发表
Peter Gorm Larsen,
John S. Fitzgerald,
Marcel Verhoef,
2013,
Mathematical Structures in Computer Science.
Bert Bos,
Claire Ingram,
Ken G. Pierce,
2013,
2013 IEEE 8th International Conference on Global Software Engineering.
Cliff B. Jones,
Ken G. Pierce,
Cliff B. Jones,
2011,
Formal Aspects of Computing.
John S. Fitzgerald,
Carl Gamble,
Ken G. Pierce,
2012,
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
Jan F. Broenink,
Yunyun Ni,
Carl Gamble,
2012,
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.
Peter Gorm Larsen,
John S. Fitzgerald,
Marcel Verhoef,
2010,
IFM.
Cliff B. Jones,
Ken G. Pierce,
Cliff B. Jones,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Peter Gorm Larsen,
John S. Fitzgerald,
Ken G. Pierce,
2014,
2014 9th International Conference on System of Systems Engineering (SOSE).
Roberto Palacin,
Carl Gamble,
Ken G. Pierce,
2019,
FM Workshops.
Peter Gorm Larsen,
Ken G. Pierce,
John S. Fitzgerald,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Cliff B. Jones,
Ken G. Pierce,
Cliff B. Jones,
2008,
ABZ.