Alwyn Goodloe
发表
Lee Pike,
Geoffrey M. Brown,
Alwyn Goodloe,
2009,
Haskell.
Corina S. Pasareanu,
David Bushnell,
Alwyn Goodloe,
2009
.
Rajeev Alur,
Carl A. Gunter,
Alwyn E. Goodloe,
2002,
CASES '02.
César A. Muñoz,
Alwyn Goodloe,
C. Muñoz,
2009,
FMICS.
César A. Muñoz,
Florent Kirchner,
Alwyn Goodloe,
2013,
NASA Formal Methods.
Alwyn E. Goodloe,
Lee Pike,
Alwyn Goodloe,
2010,
RV.
Alwyn E. Goodloe,
Lee Pike,
Alwyn Goodloe,
2013,
Innovations in Systems and Software Engineering.
Lee Pike,
Alwyn Goodloe,
Sebastian Niller,
2012,
ICFP.
Alwyn Goodloe,
2016,
ISoLA.
Alwyn E. Goodloe,
Alwyn Goodloe,
Seth Ahrenbach,
2018,
Innovations in Systems and Software Engineering.
Carl A. Gunter,
Alwyn Goodloe,
A. Goodloe,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Carl A. Gunter,
Alwyn Goodloe,
A. Goodloe,
2009,
SafeConfig '09.
Jonathan Laurent,
Lee Pike,
Alwyn Goodloe,
2015,
RV.
Mark-Oliver Stehr,
Carl A. Gunter,
Alwyn E. Goodloe,
2005,
WITS '05.
César A. Muñoz,
Alwyn Goodloe,
2013,
Sci. Comput. Program..
Ben Shneiderman,
Carsten Maple,
David Danks,
2021,
Nature Machine Intelligence.
Alwyn Goodloe,
Michael McDougall,
.