Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,672,607 papers from all fields of science
Search
Sign In
Create Free Account
Gabriel Entertainment
Known as:
Gabriel interactive
Gabriel Entertainment (part of Gabriel Group) is a video game developer based in Indianapolis, Indiana, USA, and was founded in 1999 as Gabriel…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Sunstorm Interactive
Video game developer
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Refine and gabriel: support for refinement and tactics
M. Oliveira
,
Manuela Xavier
,
Ana Cavalcanti
Proceedings of the Second International…
2004
Corpus ID: 14250580
Using Morgan's refinement calculus, we can write software in a precise and consistent way. Nevertheless, this may involve long…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE