Combining Formal Methods: An Exercise in Integration.

Jean-Charles Grgoire, Michael J. Ferguson, Lou Pino

Browse the full FORTE paper archive.