Usage of Logic for Parallel Verification of Haskel Programs.

Saved in:

Bibliographic Details
Title:	Usage of Logic for Parallel Verification of Haskel Programs.
Authors:	Archvadze, Natela¹, Natela.Archvadze@tsu.ge, Pkhovelishvili, Merab², merab5@list.ru, Shetsiruli, Lia³, likalika77u@yahoo.com, Ioseliani, Otar⁴, otari.ioseliani@gmail.com
Source:	Computer Science & Telecommunications; 2016, Vol. 50 Issue 4, p86-92, 7p
Database:	Applied Science & Technology Source

Description
ISSN:	15121232