Types for calculus of mobile code applications

Bibliographic Details
Main Author: Tomášek, Martin, 1975- (Author)
Format: Article
Language:Slovak
English
Subjects: