1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles Collection home page

Author: Ansuman Banerjee
Supervisors: Prof. Pallab Dasgupta and Prof. P.P.Chakrabarti
Department of Ocean Engineering and Naval Architecture
Indian Institute of Technology Kharagpur, India
August, 2007

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2007-08Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification StylesBanerjee, Ansuman
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover