Search alternatives:
director producer » directors producers, direct producer, directory products
record producer » records produced, record production, steroid producer
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
“... of this activity. These proceedings record the contributions from the invited lecturers. Each chapter is the result...”