Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Saeed Darabi
Program Correctness by Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proving Theorems by Program Transformation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Computing Stable Models by Program Transformation
Analyzing Array Manipulating Programs by Program Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validate the Correctness of Object Oriented Program With Regression Testing
International Journal of Computer Applications
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Proving the Correctness of Recursion-Based Automatic Program Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Testability Transformation – Program Transformation to Improve Testability
Program Development Through Proof Transformation
Contemporary Mathematics
Mathematics
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
