Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...
“The overarching goal of the new PACSME journal is to make high-quality peer-reviewed scientific research in software engineering free of restrictions on both access and use,” explained PACSME ...
Professor, University of Texas at Austin, and Chief Scientist, Sony AI, receives the ACM - AAAI Allen Newell Award for significant contributions to the theory and practice of artificial intelligence ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results