Proof-carrying plans

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
21 Downloads (Pure)

Search results