Original language | Undefined/Unknown |
---|---|
Publisher | TUCS |
ISBN (Print) | 978-952-12-3058-5 |
Publication status | Published - 2014 |
MoE publication type | D4 Published development or research report or study |
A Formal Specification Language for Content Transfer Algorithms
Research output: Book/Journal/Report › Commissioned report › Professional