On Implementability of the Formal Specifications

Malyshkin, Victor

IOS Press Ebooks

Guest Access

As a guest user you are not logged in or recognized by your IP address. You have access to the Front Matter, Abstracts, Author Index, Subject Index and the full text of Open Access publications.

loading subjects...

On Implementability of the Formal Specifications

Authors

Victor Malyshkin

Pages

355 - 360

Series

Frontiers in Artificial Intelligence and Applications

Ebook

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.

This website uses cookies

This website uses cookies