cs-conference-ranking.org Search 971 venues

FORMULA 2.0: A Language for Formal Specifications.

Ethan K. Jackson, Wolfram Schulte

Year2013

ProceedingsICTAC Training School on Software Engineering

DBLP recordconf/ictac/JacksonS13 ↗

Browse the full ICTAC paper archive.