Login / Signup
Software Correctness.
Mark Burgin
Narayan C. Debnath
Published in:
CATA (2006)
Keyphrases
</>
software systems
software development
software design
software tools
software architecture
source code
databases
data flow
computer systems
real world
neural network
software packages
software platform
open source
multi agent
test cases
case study
web services
software developers
real time