Pinned Repositories
Anomaly-Detection-
Paper
Course
Event-Recommendation-Engine
example-repo
this is to demonstrate how to create git repository
FSE-2011-PSPWizard
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
FSE-2012-UMLtoCSP-UOST
A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
gomail
The best way to send emails in Go.
jstar-eclipse
The jStar Eclipse Plug-in
Paper
sumeet29's Repositories
sumeet29/Event-Recommendation-Engine
sumeet29/Course
sumeet29/example-repo
this is to demonstrate how to create git repository
sumeet29/FSE-2011-PSPWizard
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
sumeet29/FSE-2012-UMLtoCSP-UOST
A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
sumeet29/gomail
The best way to send emails in Go.
sumeet29/jstar-eclipse
The jStar Eclipse Plug-in
sumeet29/Paper