Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,357,993 papers from all fields of science
Search
Sign In
Create Free Account
KeY
Known as:
Key system
The KeY tool is used in formal verification of Java programs. It accepts specifications written in the Java Modeling Language to Java source files…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Automated theorem proving
Control flow
Debugging
Dynamic logic (modal logic)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Washington Manual of Critical Care
M. Kollef
2007
Corpus ID: 58796556
The Washington Manual of Critical Care, 2/e - Libros de Medicina - Medicina intensiva - 39,90
Review
2007
Review
2007
A NEW HABITAT CLASSIFICATION AND MANUAL FOR STANDARDIZED HABITAT MAPPING
J. Bölöni
,
Z. Mólnar
,
Eszter Illyés
,
A. Kun
2007
Corpus ID: 56300782
Today the documentation of natural heritage with scientific methods but for conservation practice – like mapping of actual…
Expand
2005
2005
Abelhas africanizadas Apis mellifera scutellata Lepeletier, 1836 (Hymenoptera: Apidae: Apinae) exploram recursos na floresta amazônica?
M. D. Oliveira
,
J. A. Cunha
2005
Corpus ID: 84803187
The African honeybees (Apis mellifera scutellata) were introduced accidentally to Brazil in 1956 where it subsequently interbred…
Expand
2004
2004
Pore expansion in mesoporous silicas using supercritical carbon dioxide
J. Hanrahan
,
M. Copley
,
K. Ryan
,
T. Spalding
,
M. Morris
,
J. Holmes
2004
Corpus ID: 93698653
In this paper we report the controlled expansion of pores within mesoporous silicas using supercritical carbon dioxide (sc-CO2…
Expand
2000
2000
Estimates of soil erosion and deposition of cultivated soil of Nakhla watershed, Morocco
A. Aiachi
,
S. Bouhlassa
,
M. Moukhchane
2000
Corpus ID: 129553462
Despite the eff e c t ive threat of erosion, for soil preservation and productivity in Morocco, there is still only limited…
Expand
2000
2000
An information infrastructure for disaster management in Pacific Island countries
K. Granger
2000
Corpus ID: 15717112
A study into the information infrastructure of disaster management in the Pacific Island Countries is presented to ensure…
Expand
2000
2000
Application of 137 Cs for measuring soil erosion/deposition rates in Romania
I. Ioniţă
,
R. Margineanu
2000
Corpus ID: 51104457
Two methods of monitoring soil redistribution along agroterraces were explored in Tarina basin of the Moldavian Plateau: the…
Expand
1999
1999
The measurement of ice velocity, mass balance and thinning-rate on Johnsons Glacier, Livingston Island, South Shetland Islands, Antarctica
L. Ximenis
,
J. Calvet
,
J. Enrique
,
J. Corbera
,
C. Gamboa
,
G. Furdada
1999
Corpus ID: 55929798
A network of twenty stakes was set up on Johnsons Glacier in order to determine its dynamics. During the austral surmmers from…
Expand
1999
1999
EFFECTS OF INTERANNUAL VARIATION OF PRECIPITATION ON STREAM DISCHARGE FROM RHODE RIVER SUBWATERSHEDS 1
D. Correll
,
T. Jordan
,
D. Weller
1999
Corpus ID: 34815733
ABSTRACT: The purpose of this study was to determine the relationships between precipitation at the seasonal and annual scale and…
Expand
1994
1994
RECHARGE ESTIMATES USING A GEOMORPHIC/DISTRIBUTED‐PARAMETER SIMULATION APPROACH, AMARGOSA RWER BASIN
W. Osterkamp
,
L. Lane
,
C. Savard
1994
Corpus ID: 128471517
ABSTRACT: Average-annual volumes of runoff, evapotranspiration, channel loss, upland (interchannel) recharge, and total recharge…
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