@techreport{petithuguenin-computerate-specification-03, number = {draft-petithuguenin-computerate-specification-03}, type = {Internet-Draft}, institution = {Internet Engineering Task Force}, publisher = {Internet Engineering Task Force}, note = {Work in Progress}, url = {https://datatracker.ietf.org/doc/draft-petithuguenin-computerate-specification/03/}, author = {Marc Petit-Huguenin}, title = {{Computerate Specification}}, pagetotal = 26, year = 2024, month = aug, day = 5, abstract = {This document specifies computerate specifications, which are the combination of a formal and an informal specification such as parts of the informal specification are generated from the formal specification.}, }