Krakatoa

n.

喀拉喀托火山（印度尼西亚一火山岛）喀拉喀托火山（印度尼西亚西南部）（即腊卡塔火山）；

KRAKATOA
Krakatoa
Krakatoa
Krakatoa: The Day the World Exploded: August 27, 1883
Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?)
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
The Krakatoa Chronicle - An Interactive, Personalized, Newspaper on the Web
The Krakatoa Chronicle : An interactive, personalized, newspaper on the Web
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML
The Krakatoa Chronicle : A Highly Interactive, Personalized, Newspaper on the WWW
Volcanoes and climate: Krakatoa's signature persists in the ocean.
Tsunamis of volcanic origin: Summary of causes, with particular reference to Krakatoa, 1883