Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
The rapid increase of Internet-based social networking sites has brought attention to the social software phenomenon and… 
2008
2008
On-line dynamic security assessment has grown in popularity in recent years due to the need to deal with the ever-increasing… 
2007
2007
The Washington Manual of Critical Care, 2/e - Libros de Medicina - Medicina intensiva - 39,90 
Review
2007
Review
2007
Today the documentation of natural heritage with scientific methods but for conservation practice – like mapping of actual… 
2005
2005
The African honeybees (Apis mellifera scutellata) were introduced accidentally to Brazil in 1956 where it subsequently interbred… 
2004
2004
In this paper we report the controlled expansion of pores within mesoporous silicas using supercritical carbon dioxide (sc-CO2… 
2000
2000
Despite the eff e c t ive threat of erosion, for soil preservation and productivity in Morocco, there is still only limited… 
2000
2000
How well do various learning models predict the dynamics of the population distribution of play in a variety of games? We measure… 
Highly Cited
1997
Highly Cited
1997
ABSTRACT: We measured annual discharges of water, sediments, and nutrients from 10 watersheds with differing proportions of… 
1994
1994
ABSTRACT: Average-annual volumes of runoff, evapotranspiration, channel loss, upland (interchannel) recharge, and total recharge…