Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ken McMillan

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer

Information Systems

English