コペンハーゲンのデザインスタジオ「FRAMA（フラマ）」から、ハンドケアの新たな香りをまとったシリーズが登場。「Sculpture Garden」をコンセプトにした2つの新しい香り「Columnae（コルムナエ）」と「Escalier（エスカリエ）」を採用したハンドケア製品です。

One option is to write a pure (but not necessarily functional) specification and prove that the C implementation refines it. This is the premise of Frama-C. In this talk I'll show off some of the fun ...