Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lee masAdvanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lee masThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lee masThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lee masThe purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lee masThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lee masThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lee masThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lee masTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee masThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lee masThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lee mas