View of Towards automatic Maude specifications generation from C functions

Return to Article Details Towards automatic Maude specifications generation from C functions Download Download PDF