Login / Signup

A Theory of Singly-Linked Lists and its Extensible Decision Procedure.

Silvio RaniseCalogero G. Zarba
Published in: SEFM (2006)
Keyphrases