just their "source code" is legaleese.

lots of overlapping concepts even... most contracts have a section where they define all the terms, like defining variables/types. there are clauses and such that guard against specific outcomes, like uhh guard clauses i guess....

even numbered sections like functions to reuse langage.

imean... they even call laws "codes" in places

the one thing that makes it very different is just that they are all stuck with a codebase that has been worked on for 500+ years and its very very hard to actually refactor anything.

also sometimes you dont know if the code will work or what it actually does until its run through the compiler to be executed (courts)

so yea engineers but for a different kind of system.