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 2020-29-03 at 09:27