next up previous contents index
Next: not Up: Basic Abstractions Previous: Application of basic logical   Contents   Index

Extended Logical Abstractions



Subsections

domain access counter Georg P. Loczewski 2004-03-05