Total Books: 1 - 2 /2
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Continue reading
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue reading
Total Books: 1 - 2 /2
