%0 Conference Proceedings
%T The Distributed Ontology, Model and Specification Language – DOL
%+ Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)
%A Mossakowski, Till
%Z Part 1: Abstracts of Invited Talks
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Workshop on Algebraic Development Techniques (WADT)
%C Gregynog, United Kingdom
%Y Phillip James
%Y Markus Roggenbach
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-10644
%P 5-10
%8 2016-09-21
%D 2016
%R 10.1007/978-3-319-72044-9_2
%Z Computer Science [cs]Conference papers
%X Over the last decades, the WADT community has studied the formal specification of software (and hardware) in great detail [1, 9, 42].
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01767463/document
%2 https://inria.hal.science/hal-01767463/file/433330_1_En_2_Chapter.pdf
%L hal-01767463
%U https://inria.hal.science/hal-01767463
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-10644