• Per Page:
  • Sort By:

Search results for ' ' (0.002 seconds ) Total Hits : 1

1

theorem prover for verification of iterative programmes over integers

Researcher:Sarkar, Dipankar
Guide:De Sarkar, S C
University:Indian Institute of Technology
Language:English