Program equilibriumβa program reasoning
β
Wiebe van der Hoek, Cees Witteveenβ¦
π
Article
π
2011
π
Springer-Verlag
π
English
β 749 KB