Sciweavers

page 52 / 60054
» publications
Sort
View
155
Voted
LOPSTR
2007
Springer
16 years 1 months ago
Proving Termination with (Boolean) Satisfaction
Michael Codish