[SystemSafety] New paper on MISRA C

[Roberto Bagnara]

Hi there.

As the topic of MISRA C surfaces from time to time on this mailing
list, I would like all members to know that a paper on MISRA C I
coauthored has just been published by Springer Nature.  It can be
downloaded free of charge for a limited amount of time from here:

   https://link.springer.com/book/10.1007/978-3-319-99725-4

I think it may help clarifying some of the many misconceptions
on and around MISRA C.
Kind regards,

     Roberto

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180903/6b3c6cdb/attachment.bin>