Logo des Repositoriums
 

Rapid Visualization of B Specifications containing Higher-Order Recursive Functions

dc.contributor.authorBendisposto, J.
dc.contributor.authorLeuschel, M.
dc.date.accessioned2023-05-22T10:08:05Z
dc.date.available2023-05-22T10:08:05Z
dc.date.issued2006
dc.identifier.pissn0720-8928
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/41574
dc.language.isoen
dc.publisherGeselllschaft für Informatik e.V.
dc.relation.ispartofSoftwaretechnik-Trends Band 26, Heft 2
dc.titleRapid Visualization of B Specifications containing Higher-Order Recursive Functionsen
dc.typeText/Journal Article
gi.citation.publisherPlaceBonn
gi.conference.sessiontitleBerichte aus den Fachgruppen und Arbeitskreisen

Dateien