توضیحات تکمیلی
| Category: | Paper |
|---|---|
| Author: | R.K. Shyamasundar, Rohit N. Kundaji |
| Journal Title: | Theoretical Computer Science |
| Date: | 2006 |
Refinement Calculus – A Basis for Translation Validation, Debugging and Certification
توضیحات تکمیلی
| Category: | Paper |
|---|---|
| Author: | R.K. Shyamasundar, Rohit N. Kundaji |
| Journal Title: | Theoretical Computer Science |
| Date: | 2006 |