Probabilistic Model Checking of Randomized Java Code
Published in Lecture Notes in Computer Science • Jan 1, 2021
NobleIDNI2P97W78R50S91
Authors:,,
Syyeda Zainab Fatmi
Xiang Chen
Yash Dhamija
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!