Soundness

Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm/Open Call Articles

Technical co-sponsorship

Journal indexing

Membership

Published by:

Croatian Communications and Information Society in cooperation with the University of Split, FESB, Croatia

Frequent keywords