A Formal Specification Language for Content Transfer Algorithms

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Petter Sandvik
Publisher: TUCS
Publication year: 2014
ISBN: 978-952-12-3058-5

Last updated on 2019-25-06 at 04:03