A note on knowledge representation using B

Kankana Chakrabarty, Ioan Despi

Browse the full GRC paper archive.