Treffer: Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns
Title:
Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns
Authors:
Source:
2009 International Conference on Computer Modeling and Simulation Computer Modeling and Simulation, 2009. ICCMS '09. International Conference on. :167-172 Feb, 2009
Relation:
2009 International Conference on Computer Modeling and Simulation (ICCMS)
Database:
IEEE Xplore Digital Library