A formal approach for specification and classification of software components.

Sathit Nakkrasae, Peraphon Sophatsathit

Browse the full SEKE paper archive.