Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Shinde, Prateek"'
Autor:
Rai, Diptanshu, Saini, Mohit, Saw, Ajay, Shinde, Prateek, Barve, Shivprakash, Kharche, Aditya
Publikováno v:
In Materials Today: Proceedings August 2023
Publikováno v:
ACM Transactions on Software Engineering & Methodology; May2024, Vol. 33 Issue 4, p1-39, 39p
Autor:
AMADINI, ROBERTO1 roberto.amadini@unibo.it
Publikováno v:
ACM Computing Surveys. Jan2023, Vol. 55 Issue 1, p1-38. 38p. 1 Illustration.
Autor:
AMADINI, ROBERTO1 roberto.amadini@unibo.it.
Publikováno v:
ACM Computing Surveys. Jan2022, Vol. 54 Issue 1, p1-38. 38p. 2 Illustrations, 7 Diagrams, 1 Graph.
Publikováno v:
Proceedings of the 35th ACM SIGPLAN Conference Programming Language Design & Implementation; 6/9/2014, p565-576, 12p
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinat
Autor:
Armin Biere, David Parker
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Par
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations