Sciweavers

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