swMATH1269MaRDI QIDQ14009FDOQ14009
Author name not available (Why is that?)
Official website: http://www.di.ubi.pt/~desousa/jakarta/
Cited In (19)
- Theorem Proving in Higher Order Logics
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A metamodel of access control for distributed environments: applications and properties
- Optimal and sustainable extraction of groundwater in coastal aquifers
- LETOS
- Ott: Effective tool support for the working semanticist
- pyGridWare
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- A3PAT
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extracting a data flow analyser in constructive logic
- 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
