Peter J Stuckey

Identifiers

No identifiers captured yet.

Papers (1)

1. Improved Inference for Checking Annotations cs.PL · 2005 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jeremy Wazny 1 shared papers
• Martin Sulzmann 1 shared papers