Search results: Sage Journals

Restricted accessResearch articleFirst published February, 2020

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Restricted accessResearch articleFirst published January, 1978

W. Buijze

International Journal of Electrical Engineering & Education

Restricted accessResearch articleFirst published June, 2008

Theodore Donaldson, Richard Wollert

Sexual Abuse

Restricted accessResearch articleFirst published 2019

Marc Bezem, Thierry Coquand

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2019

William Fajardo, Oswaldo Lezama

Fundamenta Informaticae

Restricted accessResearch articleFirst published February 12, 2013

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Restricted accessResearch articleFirst published January 11, 2021

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Restricted accessResearch articleFirst published 1977

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Restricted accessResearch articleFirst published March, 1991

Raghunath Pradhan

The Indian Economic Journal