Generating formal specifications for security-critical applications - A model-driven approach.

Nina Moebius, Kurt Stenzel, Wolfgang Reif

Browse the full ICSE paper archive.