21 results
Search Results
2. Tests and Proofs : 13th International Conference, TAP 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
3. Interactive Theorem Proving : 9th International Conference, ITP 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
4. Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
5. Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
6. Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
7. PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
8. Reliable Software Technologies – Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
9. Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
10. PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
11. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
12. Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
13. Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
14. Reliable Software Technologies – Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
15. Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
16. Reliable Software Technologies – Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
17. Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
18. Correct System Design : Recent Insights and Advances
19. Duration Calculus : A Formal Approach to Real-Time Systems
20. Computational Logic
21. Advances in Computing Science - ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.