Login / Signup
CSeq: A Sequentialization Tool for C - (Competition Contribution).
Bernd Fischer
Omar Inverso
Gennaro Parlato
Published in:
TACAS (2013)
Keyphrases
</>
neural network
high level
digital libraries
software tools