Proof-carrying plans

Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, František Farka, Ronald P. A. Petrick, Joe Wells, Kevin Hammond

University of St. Andrews

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

24 Downloads (Pure)

1 results
- Last Name(descending)

Ekaterina Komendantskaya
- e.komendantskayahw.acuk
- School of Mathematical & Computer Sciences - Professor
- School of Mathematical & Computer Sciences, Computer Science - Professor
Person: Academic (Research & Teaching)