Amanote Research
Register
Sign In
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-642-31762-0
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2012
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
Test Selection for Object-Oriented Software Based on Formal Specifications
Automatic Testing of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Beyond Object-Oriented Software Development
Model-Based Software Testing for Object-Oriented Software
E-Learning
Computer Science Applications
Education
Object-Oriented Software Construction at ALS
Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
High Energy Physics
Instrumentation
Nuclear
An Object-Oriented Software Reuse Tool
Changeability Evaluation Model for Object Oriented Software
International Journal of Computer Science and Information Technology
Reusability Estimation Model for Object Oriented Software
IARJSET
Object-Oriented Programming Creates a “Software Revolution”
Computers in Physics
