Programming Languages and Systems
10,00 €
The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Trace Spaces: An Efficient New Technique for State-Space Reduction - Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen - Pages 274-294.
Jetzt bei Ebay:
