[tlaplus] c (subset of c) specification

[Alex Tim <alex.timimin@xxxxxxxxx>]

Hi, all

Has anyone ever faced C or subset of C specs?   I've found only

https://cedric.cnam.fr/fichiers/art_3439.pdf

Thank in advance. Alex.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0416faa2-b288-418c-aa16-9ce4f0d684fao%40googlegroups.com.