Samridhi Gulati

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Specification Languages

Clustering Method

Prior Knowledge

Computational Cost

Top Venues

Publications

Arvinder Kaur, Samridhi Gulati, Sarita Singh
A comparative study of two formal specification languages: Z-notation & B-method. CCSEIT (2012)