About this scholarly article

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) - A formal proof of properties of a presentation system using Isabelle by Panchenko, Taras; Ivanov, Ievgen is a scholarly article available to read on EtoBox.

Author

Panchenko, Taras; Ivanov, Ievgen

Publisher

IEEE

Published

2017

Language

EN