Template:Package
From Event-B
Jump to navigationJump to searchUsage
Template use to specify a package name.
Example
Package
org.rodinp.core_block
contains the database API.
Template
{{{1}}}
- This page was last modified on 22 February 2009, at 20:45.
- Privacy policy
- About Event-B
- Disclaimers