Report copyright - Arjav Dave Jitendra Gupta Nishit Shah. Agenda Overview Alloy Architecture Alloy Specification Language Alloy Analyzer Demo Comparisons Conclusion
Please pass captcha verification before submit form
Please pass captcha verification before submit form