Search
 
loader loading subjects...
cover
On Implementability of the Formal Specifications
Victor Malyshkin
355 - 360
Frontiers in Artificial Intelligence and Applications
Volume 161: New Trends in Software Methodologies, Tools and Techniques
Abstract

The paper is devoted to the consideration of the problem of formal specifications implementability and program synthesis.

$35.00 / €27.50 / £22.00
Add PDF to cart