Articles classificators
> 68-XX >68Qxx >68Q60


68Q60 Specification and verification (program logics, model checking, etc.)


    Keywords
    Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
    ISSN 1560-7534
    © 2024 FRC ICT