Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ken Pierce
conf.researchr.org general profile
ETAPS 2019 profile
FM 2026 profile
Registered user since Fri 17 Apr 2026
Name:
Ken Pierce
Affiliation:
The University of Newcastle
Contributions
2026
FM
Author of Executing Kapture's Templates in VDM within the Workshop: Overture-track
2019
InterAVT
Committee Member in Program Committee within the InterAVT-track
Share
x
Fri 16 Oct 12:02