Вы здесь

Главная

PSI'19 Preliminary Proc.

Связанные издания:

Archival International Systems: New Opportunities for Historians
Automated Sisal program verification with ACL2
Causality-Based Testing in Time Petri Nets
Computable Topology for Reliable Computations
Parallel Factorization of Boolean Polynomials
Providing the sharing of heterogeneous ontology design patterns in the development of the ontologies of scientific subject domains
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Two-Step Deductive Verification of Control Software Using Reflex