Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Specification refinements: Calculi, tools, and applications

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.contributor.authorMossakowski, Till
dc.contributor.authorSannella, Donald
dc.contributor.authorCodescu, Mihai
dc.contributor.authorTarlecki, Andrzej
dc.date.accessioned2024-01-26T07:54:41Z
dc.date.available2024-01-26T07:54:41Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.description.volume144
dc.identifier.doi10.1016/J.SCICO.2017.04.005
dc.identifier.issn0167-6423
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/120321
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofScience of Computer Programming
dc.relation.pages1-49
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleSpecification refinements: Calculi, tools, and applications
dc.typeJournalArticle
dspace.entity.typePublication