Cited in
(20)- Theorem Proving in Higher Order Logics
- scientific article; zbMATH DE number 2086505 (Why is no real title available?)
- The Web services resource framework in a peer-to-peer context
- Tool-assisted specification and verification of typed low-level languages
- Association Rules Using Rough Set and Association Rule Methods
- Dynamic data integration for structural modeling: Model screening approach using a distance-based model parameterization
- scientific article; zbMATH DE number 2079463 (Why is no real title available?)
- A metamodel of access control for distributed environments: applications and properties
- TinkerType
- LETOS
- pyGridWare
- A3PAT
- Optimal and sustainable extraction of groundwater in coastal aquifers
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- Ott: Effective tool support for the working semanticist
- Extracting a data flow analyser in constructive logic
- scientific article; zbMATH DE number 2043539 (Why is no real title available?)
- scientific article; zbMATH DE number 1927413 (Why is no real title available?)
- A distance-based prior model parameterization for constraining solutions of spatial inverse problems
- Certified Static Analysis by Abstract Interpretation
This page was built for software: Jakarta
