About this scholarly article

Proving specifications of tasking systems using Ada/TL is a scholarly article available to read on EtoBox.