Research indexPython-specific issuesFormal Methods, Informally·19 Feb 2026DOI10.1017/9781009421003.032Python-specific issuesFormal Methods, Informally · 2026 · SubscriptionDOI10.1017/9781009421003.032ReadRead at the publisherSaveCiteAdd to literature reviewPaywalledThe full text is at the publisherOpen it at the publisher to read it.Read at the publisherDiscussionAdd to the discussionRelated papersMoreDetailsPublished, publisher, issueSuggest a correction or report
