Power and Limitations of Formal Methods for Software Fabrication

Publisher Website
Google Scholar
Abstract
The Journal of Information Technology is of interest to academics, scholars, advanced students and reflective practitioners in management science, information systems and computer science disciplines. The journal will also inform those seeking an update on current experience and future prospects in the areas of contemporary information and communications technology.

This publication has 0 references indexed in Scilit: