Horn Clauses Websites

- jarrar.info

Mustafa Jarrar

3,000,423 $ 480.00

- jorgenavas.github.io

Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow a

Not Applicable $ 8.94