Nothing Special   »   [go: up one dir, main page]

13th TASE 2019: Guilin, China

Refine list

showing all ?? records

Refinement and Semantics for Real Time

Security

Applications/Case Study

Mechanized Verification

Semantics and Temporal Logic

Modeling and Verification

Logics, Complexity, Quantum

Software Engineering

Verification, Concurrency, Memory Models

Applications/Case Studies