Yazar
Berstel-Da Silva, Bruno. author.
Format:
Electronic Resources
Alıntı:
Verification of Business Rules Programs Berstel-Da Silva, Bruno. author.
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: