K: A Wide Spectrum Language for Modeling, Programming and Analysis.

Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement

Browse the full MODELSWARD paper archive.