Mark Bickford (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Mark Bickford, Jason Hickey: Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999

Selection of 1 from 13 records - Mark Bickford has 15 coauthors