Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113010781> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2113010781 abstract "Refine is a tool that supports the application of Morgan's refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine." @default.
- W2113010781 created "2016-06-24" @default.
- W2113010781 creator A5029454168 @default.
- W2113010781 creator A5073408099 @default.
- W2113010781 date "2007-07-01" @default.
- W2113010781 modified "2023-09-26" @default.
- W2113010781 title "Mechanised Refinement of Procedures" @default.
- W2113010781 cites W1492315860 @default.
- W2113010781 cites W1516574343 @default.
- W2113010781 cites W1521083034 @default.
- W2113010781 cites W1535757506 @default.
- W2113010781 cites W1552647623 @default.
- W2113010781 cites W1593246231 @default.
- W2113010781 cites W1816659336 @default.
- W2113010781 cites W1981759149 @default.
- W2113010781 cites W2013149850 @default.
- W2113010781 cites W2016535383 @default.
- W2113010781 cites W2041169043 @default.
- W2113010781 cites W2080782424 @default.
- W2113010781 cites W2087713039 @default.
- W2113010781 cites W2103953153 @default.
- W2113010781 cites W2129773851 @default.
- W2113010781 cites W2231897812 @default.
- W2113010781 cites W2283795412 @default.
- W2113010781 cites W2285400144 @default.
- W2113010781 cites W3021087793 @default.
- W2113010781 cites W3120562436 @default.
- W2113010781 cites W380079223 @default.
- W2113010781 cites W1789433590 @default.
- W2113010781 cites W2133130611 @default.
- W2113010781 doi "https://doi.org/10.1016/j.entcs.2007.03.015" @default.
- W2113010781 hasPublicationYear "2007" @default.
- W2113010781 type Work @default.
- W2113010781 sameAs 2113010781 @default.
- W2113010781 citedByCount "0" @default.
- W2113010781 crossrefType "journal-article" @default.
- W2113010781 hasAuthorship W2113010781A5029454168 @default.
- W2113010781 hasAuthorship W2113010781A5073408099 @default.
- W2113010781 hasBestOaLocation W21130107811 @default.
- W2113010781 hasConcept C11413529 @default.
- W2113010781 hasConcept C134306372 @default.
- W2113010781 hasConcept C136119220 @default.
- W2113010781 hasConcept C199343813 @default.
- W2113010781 hasConcept C199360897 @default.
- W2113010781 hasConcept C202444582 @default.
- W2113010781 hasConcept C2777686260 @default.
- W2113010781 hasConcept C2778029271 @default.
- W2113010781 hasConcept C33923547 @default.
- W2113010781 hasConcept C41008148 @default.
- W2113010781 hasConcept C71924100 @default.
- W2113010781 hasConcept C90483712 @default.
- W2113010781 hasConcept C9376300 @default.
- W2113010781 hasConceptScore W2113010781C11413529 @default.
- W2113010781 hasConceptScore W2113010781C134306372 @default.
- W2113010781 hasConceptScore W2113010781C136119220 @default.
- W2113010781 hasConceptScore W2113010781C199343813 @default.
- W2113010781 hasConceptScore W2113010781C199360897 @default.
- W2113010781 hasConceptScore W2113010781C202444582 @default.
- W2113010781 hasConceptScore W2113010781C2777686260 @default.
- W2113010781 hasConceptScore W2113010781C2778029271 @default.
- W2113010781 hasConceptScore W2113010781C33923547 @default.
- W2113010781 hasConceptScore W2113010781C41008148 @default.
- W2113010781 hasConceptScore W2113010781C71924100 @default.
- W2113010781 hasConceptScore W2113010781C90483712 @default.
- W2113010781 hasConceptScore W2113010781C9376300 @default.
- W2113010781 hasLocation W21130107811 @default.
- W2113010781 hasOpenAccess W2113010781 @default.
- W2113010781 hasPrimaryLocation W21130107811 @default.
- W2113010781 hasRelatedWork W1527862632 @default.
- W2113010781 hasRelatedWork W1652311832 @default.
- W2113010781 hasRelatedWork W2118300983 @default.
- W2113010781 hasRelatedWork W2135396778 @default.
- W2113010781 hasRelatedWork W2166247150 @default.
- W2113010781 hasRelatedWork W2243428364 @default.
- W2113010781 hasRelatedWork W2462453872 @default.
- W2113010781 hasRelatedWork W3207171446 @default.
- W2113010781 hasRelatedWork W4243252198 @default.
- W2113010781 hasRelatedWork W4245713008 @default.
- W2113010781 isParatext "false" @default.
- W2113010781 isRetracted "false" @default.
- W2113010781 magId "2113010781" @default.
- W2113010781 workType "article" @default.