SWEREF-394

Link Leave blank if none exists	Unknown macro: {div} https://www.adacore.com/uploads_gems/Couverture_ERTS-2012.pdf
Title This is the text which will be hyperlinked, if a link exists	Formalization and Comparison of MCDC and Object Branch Coverage
SWE or Topic	SWE-219, Topic 7.21,
Citation This contains additional information, which will appear after the title, separated by a comma	Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, F-75009 PARIS (France), comar, guitton, hainque, quinot}@adacore.com, Embedded Real Time Software and Systems Conference, Feb 2012,
Notes More specific directions where to look in the resource for relevant content

Example Reference as it will appear to end user:

where: