Suryavanshi, Raghuraj, Dr A P J Abdul Kalam Technical University, Lucknow 226 031, India, India
-
Vol 80, No 12 (2021): Journal of Scientific and Industrial Research - Computer Science & Information Technology
Distributed systems, Formal methods, Load balancing, Proof obligations, Rodin, Verification
Abstract PDF
Journal of Scientific & Industrial Research